set JEDIT_PLUGIN_SOURCE=src\jeditPlugin
set JEDIT_HOME=..\_software

copy /Y "%JEDIT_PLUGIN_SOURCE%\catalog" "%JEDIT_HOME%\bin\jedit\modes\catalog"
copy /Y "%JEDIT_PLUGIN_SOURCE%\jedit-initial.props" "%JEDIT_HOME%\bin\jedit\properties\jedit-initial.props"
copy /Y "%JEDIT_PLUGIN_SOURCE%\agentSpeak.xml" "%JEDIT_HOME%\bin\jedit\modes\agentSpeak.xml"
copy /Y "%JEDIT_PLUGIN_SOURCE%\jasonProject.xml" "%JEDIT_HOME%\bin\jedit\modes\jasonProject.xml"
